add_subdirectory(boomerang)
add_subdirectory(example-tool)
add_subdirectory(phasar-clang)
add_subdirectory(phasar-llvm)
